Gradual Transition Towards Self-Managed Software Systems Based on High-Level Communication Specification

نویسندگان

  • Denis Helic
  • Jürgen Falb
  • Edin Arnautović
چکیده

With increasing complexity of software systems, their management becomes more difficult and costly. While management of today’s software systems is usually performed by humans using some user interface (UI), autonomic systems would be self-managed. They would typically consist of a managed element, which provides actual system functionality, and an autonomic manager performing system management. However, truly self-managed systems are difficult to achieve and not (yet) in wide-spread use. It is more realistic to manage a large and complex software system partly by humans and partly by an autonomic manager. To facilitate this approach, the communication between the managed element and human administrators on the one hand and the communication between the managed element and the autonomic manager on the other, should be unified and specified on the same semantic level. In this thesis, we investigate the communication that takes place between a managed system and its manager regardless whether this manager is human or autonomic. To create a specification of the communication that would be high-level and thus easier to understand and create by humans, we looked at theories that attempt to explain and model human communication (both written and spoken). As a result, we have developed the communication specification based on discourse models. Having a unified approach to high-level communication between the managed software system and both its human and its autonomic manager makes the transition towards selfmanaged systems possible. We have evaluated both human and autonomic management cases using the self-management communication platform and demonstrated that our approach facilitates this transition.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

High level transition systems of CSP specifications and their application in automated testing

State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. The context of this thesis is the field of specification based testing of embedded reactive real-time systems. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal specifications. In this PhD-...

متن کامل

Component-Based Specification of Distributed Systems

We suggest that hidden algebra can provide a setting for component specification and composition that has the advantages of algebraic specification, without the disadvantages of object-oriented approaches where communication between components is mediated solely by method invocation. We propose a basic composition mechanism for hidden algebraic component specifications that is based on communic...

متن کامل

ارائه یک روش نرم افزاری جهت استفاده از ارزیابی ریسک در بهینه سازی اقدامات حفاظت حریق ساختمان

  Background and aims: The property loss and physical injuries due to fire events in buildings demonstrate the necessity of implementation of efficient and performance based fire safety measures. Effective and high efficiency protection is possible when design and selection of protection measures are based on risk assessment. This study aims at presenting a software method to make possible sele...

متن کامل

Specification-Carrying Code for Self-Managed Systems

This paper proposes the notion of Specification-Carrying Code as an interaction mechanism for self-assembly of autonomous decentralised software components. Each autonomous software entity incorporates more information than its operational behaviour, and publishes more data than its signature. The idea is to provide separately, for each entity, a functional part implementing its behaviour the t...

متن کامل

Specifying Self-configurable Component-Based Systems with FracToy

One of the key research challenges in autonomic computing is to define rigorous mathematical models for specifying, analyzing, and verifying high-level self-* policies. This paper presents the FracToy formal methodology to specify self-configurable component-based systems, and particularly both their component-based architectural description and their self-configuration policies. This rigorous ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009